<?php echo json_encode($records);